language specification